首页> 外文OA文献 >Decidability and combination results for two notions of knowledge in security protocols.

【2h】

Decidability and combination results for two notions of knowledge in security protocols.

机译：安全协议中两种知识概念的可判定性和组合结果。

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

International audience

机译：国际观众

著录项

作者
Cortier, Véronique; Delaune, Stéphanie;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种 en
中图分类

相似文献

外文文献
中文文献
专利

1. Decidability and Combination Results for Two Notions of Knowledge in Security Protocols [J] . Veronique Cortier, Stephanie Delaune Journal of Automated Reasoning . 2012,第4期

机译：安全协议中两种知识概念的可判定性和组合结果
2. Deciding Security Properties for Cryptographic Protocols. Application to Key Cycles [J] . HUBERT COMON-LUNDH, VERONIQUE CORTIER, EUGEN ZALINESCU ACM transactions on computational logic . 2010,第2期

机译：确定加密协议的安全属性。应用于关键周期
3. DECIDING KNOWLEDGE IN SECURITY PROTOCOLS　UNDER SOME E-VOTING THEORIES [J] . MOUHEBEDDINE BERRIMA, NARJES BEN RAJEB, AND VERONIQUE CORTIER RAIRO Theoretical Informatics and Applications . 2011,第3期

机译：确定安全协议的知识-某些电子投票理论
4. Notions of Knowledge in Combinations of Theories Sharing Constructors [C] . Serdar Erbatur, Andrew M. Marshall, Christophe Ringeissen Automated deduction - CADE-26 . 2017

机译：理论共享构建者组合中的知识概念
5. Unification modulo common list functions A discussion of complexity and decidability modulo various combinations of observer theories [D] . Hibbs, Peter 2015

机译：统一模数公用列表函数讨论观察者理论的各种组合的模数复杂性和可判定性
6. Temporal knowledge representation for scheduling tasks in clinical trial protocols. [O] . Chunhua Weng, Michael Kahn, John Gennari 2002

机译：用于在临床试验方案中安排任务的时间知识表示。
7. Decidability and combination results for two notions of knowledge in security protocols. [O] . Cortier, Véronique, Delaune, Stéphanie 2012

机译：安全协议中两种知识概念的可判定性和组合结果。
8. Composition of Public-Coin Zero-Knowledge Protocols. [R] . Pass, R., Tseng, W. D., Wikstroem, D. 2011

机译：公共零知识协议的组成。

Decidability and combination results for two notions of knowledge in security protocols.

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅